resolution theorem
- 基础释义 纠错
- 释义
分解定理
- 双语例句 更多例句
-
1、
A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
归结原理及其在数学定理证明中的应用
来源：互联网摘选 -
2、
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
来源：互联网摘选
- 相关词组
- 相关阅读
-
贾斯汀·比伯当爸爸了! 甜妻海莉头胎生男，晒孩子小脚丫照片萌翻全网！
英语网 · 双语娱乐资讯
-
《大地惊雷》Hailee Steinfeld 和足球小将Josh Allen订婚了！
英语网 · 双语娱乐资讯
-
高考英语作文真题范文：给外教的一封信
英语网 · 高考英语
-
迪士尼真人电影《白雪公主》预告翻车
英语网 · 双语娱乐资讯
-
《哪吒2》北美上映，台词“急急如律令”被翻译为“quickly quickly biu biu biu”
英语网 · 英语词汇
-
《唐探1900》：笑闹唐人街，解锁传奇新篇章
英语网 · 双语娱乐资讯